public class MyTest1 {
	public static void main(String[] args) {
		MyProposition m1 = new MyProposition("p4((p4q)21(1q31p))");
		m1.getTruthTable();
		System.out.println(m1.getZXQFS());;
//		MyProposition m2 = new MyProposition("A3B");
//		m2.getTruthTable();
	}
	
}

